#include <bits/stdc++.h>
using namespace std;
#define int long long

int md[13] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
int a[100];

signed main()
{
	ios::sync_with_stdio(0);
	cin.tie(0); cout.tie(0);
	int ret = 0;
	for (int i = 0; i < 100; i++)
		cin >> a[i];
		
	for (int i = 1; i <= 12; i++)
	{
		for (int j = 1; j <= md[i]; j++)
		{
			string data = "2023";
			if (i < 10)
				data += '0';
			data += to_string(i);
			
			if (j < 10)
				data += '0';
			data += to_string(j);
			
			int cur = 0;
			for (int k = 0; k < 100 && cur < 8; k++)
			{
				if (a[k] == data[cur] - '0')
					cur++;	
			}
			if (cur >= 8)
				ret++;
		}	
	}	
	cout << ret << endl;
	return 0;
}

//答案235
/*
5 6 8 6 9 1 6 1 2 4 9 1 9 8 2 3 6 4 7 7 5 9 5 0 3 8 7 5 8 1 5 8 6 
1 8 3 0 3 7 9 2 7 0 5 8 8 5 7 0 9 9 1 9 4 4 6 8 6 3 3 8 5 1 6 3 4 
6 7 0 7 8 2 7 6 8 9 5 6 5 6 1 4 0 1 0 0 9 4 8 0 9 1 2 8 5 0 2 5 3 3
*/